WILHELM KÖSTERS/FRIEDRICH SCHMIDT-OTT 90 Jahre/WALTHER LIETZMANN 70 Jahre/HERMANN BACKHAUS 65 Jahre
نویسندگان
چکیده
منابع مشابه
0 65 3 - 19 90
In this lecture we prove that the existence of a one-way function implies the existence of a false entropy. It was shown in the previous lecture that this implies the existence of a pseudorandom generator. The construction presented in this lecture is uniform. The structure of this lecture is as follows: For the sake of self containment we include in section 1 some definitions and results prese...
متن کامل0 65 9 - 19 90
In a previous paper we analyzed the perfonnance of networks with negligi ble transmission delay, whose operation is controlled by a simple synchronizer. It was shown that full speed is achieved, for any wake-up pattern, by letting the networlc run free, without the use of a "firing squad" mechanism or a scheduler. In this paper we investigate the effect of fixed delays in the communication cha...
متن کاملZehn Jahre WSR - Zwölf Jahre Bauhaus
Das zehnjährige Jubiläum des deutschsprachigen Reengineering-Workshops WSR in Bad Honnef gibt Anlass, auch auf die eigene Arbeit zurück zu blicken, die thematisch mit dem WSR so eng verbunden ist. Unsere Forschergruppe Bauhaus beschäftigt sich schon seit zwölf Jahren mit dem Thema Software-Reengineering und verwandten Themen. Und seit Bestehen des WSR sind wir regelmäßige Teilnehmer am WSR. Die...
متن کاملOtt And
Many problems in mathematics and science require the use of infinite-dimensional spaces. Consequently, there is need for an analogue of the finite-dimensional notions of ‘Lebesgue almost every’ and ‘Lebesgue measure zero’ in the infinite-dimensional setting. The theory of prevalence addresses this need and provides a powerful framework for describing generic behavior in a probabilistic way. We ...
متن کاملOCamllight in Ott
OCamllight key points •Written in Ott • Faithful to Objective Caml (very nearly) • Type soundness proof mechanized in HOL (Coq and Isabelle/HOL definitions generated too) • Operational semantics validated on test programs • Small-step operational semantics (131 rules) • Type system (179 rules, below) • definitions: – variant data types (e.g., type t = I of int | C of char), – record types (e.g....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physik Journal
سال: 1950
ISSN: 0031-9279
DOI: 10.1002/phbl.19500060906